Qu'est-ce que variable libre et liée ?

En logique mathématique et en informatique, une variable est considérée comme soit libre, soit liée en fonction de son utilisation dans une expression ou une déclaration de fonction.

Une variable libre est une variable qui n'est pas liée à une fonction particulière ou à une structure de données. Autrement dit, elle est libre de prendre n'importe quelle valeur ou de pointer vers n'importe quelle adresse mémoire. Elle peut être utilisée pour stocker des données temporaires ou pour communiquer entre différentes parties d'un programme.

En revanche, une variable liée est une variable qui est associée à une fonction ou à une structure de données spécifique. Elle ne peut pas être modifiée ou utilisée en dehors de son contexte particulier. Par exemple, une variable qui est déclarée à l'intérieur d'une fonction ne peut être utilisée que dans cette fonction.

La distinction entre variable libre et liée est importante pour la portée des variables dans un programme. Une variable libre a une portée globale et peut être utilisée partout dans le programme, tandis qu'une variable liée n'a qu'une portée locale et ne peut être utilisée que dans le contexte spécifique où elle est déclarée.